-
1 logical isomorphism
Большой англо-русский и русско-английский словарь > logical isomorphism
-
2 logical isomorphism
Математика: логический изоморфизм -
3 logical isomorphism
-
4 isomorphism
-
5 логический изоморфизм
Большой англо-русский и русско-английский словарь > логический изоморфизм
-
6 relation
а) соотношение; уравнениеб) связь; зависимостьг) два выражения, соединённые знаком операции сравнения- relation of congruence
- relation of consequence
- relation of direct consequence
- relation of isomorphism
- relation over set
- abstract relation
- almost universal relation
- antisymmetry relation
- apartness relation
- associativity relation
- atomic relation
- base relation
- bifunctional relation
- binary relation
- causal relation
- closure relation
- constitutive relations
- constraint relation
- communication relation
- commutativity relation
- complementariness relation
- completeness relation
- correlation relation
- correspondence relation
- covering relation
- definable relation
- dependence relation
- derived relation
- directed relation
- empty relation
- equality relation
- equinumerosity relation
- equivalence relation
- expressible relation
- extensional relation
- fuzzy relation
- homomorphism relation
- identity relation
- implication relation
- incidence relation
- inclusion relation
- inductive relation
- inequality relation
- intermediacy relation
- inter-organizational relations
- isomorphism relation
- Kramers-Kronig relations
- logical relation
- magnitude relation
- Manley-Rowe relations
- man-machine relation
- membership relation
- multi-valued relation
- negative relation
- one-to-many relation
- one-to-one relation
- ordering relation
- orthogonality relation
- parent-child relation
- partial equivalence relation
- partial ordering relation
- personnel relation
- polynomial relation
- positive relation
- precedence relation
- preference relation
- proportionality relation
- public relations
- reciprocity relations
- recurrent relation
- reflexive relation
- representing relation
- semantic relation
- strict dominance relation
- strong relation
- symmetry relation
- transitive relation
- transitivity relation
- weak relation -
7 relation
а) соотношение; уравнениеб) связь; зависимостьг) два выражения, соединённые знаком операции сравнения•- almost universal relation
- antisymmetry relation
- apartness relation
- associativity relation
- atomic relation
- base relation
- bifunctional relation
- binary relation
- causal relation
- closure relation
- communication relation
- commutativity relation
- complementariness relation
- completeness relation
- constitutive relations
- constraint relation
- correlation relation
- correspondence relation
- covering relation
- definable relation
- dependence relation
- derived relation
- directed relation
- empty relation
- equality relation
- equinumerosity relation
- equivalence relation
- expressible relation
- extensional relation
- fuzzy relation
- homomorphism relation
- identity relation
- implication relation
- incidence relation
- inclusion relation
- inductive relation
- inequality relation
- intermediacy relation
- inter-organizational relations
- isomorphism relation
- Kramers-Kronig relations
- logical relation
- magnitude relation
- Manley-Rowe relations
- man-machine relation
- membership relation
- multi-valued relation
- negative relation
- one-to-many relation
- one-to-one relation
- ordering relation
- orthogonality relation
- parent-child relation
- partial equivalence relation
- partial ordering relation
- personnel relation
- polynomial relation
- positive relation
- precedence relation
- preference relation
- proportionality relation
- public relations
- reciprocity relations
- recurrent relation
- reflexive relation
- relation of coincidence
- relation of congruence
- relation of consequence
- relation of direct consequence
- relation of isomorphism
- relation over set
- representing relation
- semantic relation
- strict dominance relation
- strong relation
- symmetry relation
- transitive relation
- transitivity relation
- weak relationThe New English-Russian Dictionary of Radio-electronics > relation
-
8 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
9 condition
1) положение; ситуация2) условие || обусловливать, ставить условие3) состояние || приводить в определённое состояние4) кондиция || кондиционировать5) pl обстановка, условия; режим•on condition that — при условии, что
under conditions of a problem — матем. по условиям задачи
to satisfy a condition — мат. удовлетворять условию
-
10 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
11 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
См. также в других словарях:
Isomorphism — In abstract algebra, an isomorphism (Greek: ἴσος isos equal , and μορφή morphe shape ) is a bijective map f such that both f and its inverse f −1 are homomorphisms, i.e., structure preserving mappings.In the more general setting of category… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Equality (mathematics) — Loosely, equality is the state of being quantitatively the same. More formally, equality (or the identity relation) is the binary relation on a set X defined by . The identity relation is the archetype of the more general concept of an… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
P versus NP problem — Unsolved problems in computer science Is P = NP ? … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium